-
1 исчисление предикатов
Большой англо-русский и русско-английский словарь > исчисление предикатов
-
2 исчисление предикатов
functional calculus, predicate [predicative\] calculusАнгло-русский словарь технических терминов > исчисление предикатов
-
3 узкое исчисление предикатов
Большой англо-русский и русско-английский словарь > узкое исчисление предикатов
-
4 прикладное исчисление предикатов
Математика: ПИПУниверсальный англо-русский словарь > прикладное исчисление предикатов
-
5 узкое исчисление предикатов
Математика: УИПУниверсальный англо-русский словарь > узкое исчисление предикатов
-
6 чистое исчисление предикатов
Математика: ЧИПУниверсальный англо-русский словарь > чистое исчисление предикатов
-
7 predicate [predicative] calculus
Англо-русский словарь технических терминов > predicate [predicative] calculus
-
8 predicate calculus
-
9 predicate calculus
-
10 functional calculus
English-Russian electronics dictionary > functional calculus
-
11 predicate calculus
-
12 functional calculus
The New English-Russian Dictionary of Radio-electronics > functional calculus
-
13 predicate calculus
The New English-Russian Dictionary of Radio-electronics > predicate calculus
-
14 predicate calculus
-
15 predicate calculus
исчисление предикатовEnglish-Russian dictionary of technical terms > predicate calculus
-
16 predicate calculus
-
17 predicative calculus
English-Russian information technology > predicative calculus
-
18 predicate calculus
English-Russian dictionary of computer science > predicate calculus
-
19 calculus
исчисление
– Boolean calculus
– calculus of probability
– calculus of variations
– differential calculus
– extended calculus
– functional calculus
– infinitesimal calculus
– integral calculus
– logical calculus
– matrix calculus
– operational calculus
– predicate calculus
– problem calculus
– propositional calculus
– sentential calculus
– spinor calculus
– tensor calculus
– vector calculus
one-place predicate calculus — исчисление одноместных предикатов
-
20 predicative calculus
См. также в других словарях:
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математич. логики, совокупность логико математич. исчислений, формализующих те разделы совр. логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры предложений) правила оперирования с… … Философская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь
исчисление предикатов — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN predicate calculus … Справочник технического переводчика
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисление предикатов — раздел математической логики совокупность логико математических исчислений (См. Исчисление), формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно предикатной структуры… … Большая советская энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел матем. логики, логич. исчисление, в алфавит знаков к рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие количественно… … Естествознание. Энциклопедический словарь
УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Предикатов исчисление … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… … Википедия
исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об … Словарь терминов логики